Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
991	Large-scale text collection for unwritten languages Florian R. Hanke and Steven Bird Department of Computing and Information Systems, University of Melbourne , Abstract Add to Reading List Source URL: aclweb.org Language: English - Date: 2013-10-09 21:27:58 Linguistics Computer-assisted translation Artificial intelligence applications Computational linguistics Evaluation of machine translation BLEU Literal translation Translation memory Translation Science Machine translation
992	Experience Report: Applying Random Testing to a Base Type Environment Vincent St-Amour Neil Toronto Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Data types Type theory Computer arithmetic Functional languages Primitive types Type system Racket Floating point Primitive data type Software engineering Computing Programming language theory
993	Data Structures Considered Harmful John G. Cleary, Mark Utting, and Roger Clayton University of Waikato, Hamilton, New Zealand. {jcleary,marku,rjc4}@cs.waikato.ac.nz Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2010-06-15 06:33:59 Logic in computer science Non-classical logic Query languages Prolog Logic programming Denotational semantics Programming language Logic Modal logic Software engineering Computing Computer programming
994	May 14, Presburger Sets and Relations: from High-level Modeling to Low-level Implementation Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-05-17 08:32:21 Computer programming C Cross-platform software Array data structure Algorithm Frameworks supporting the polyhedral model C syntax Computing Software engineering Procedural programming languages
995	512445GSFC JPSS CMO July 5, 2013 Released 00GSFC JPSS CMO July 5, 2013 Released Add to Reading List Source URL: suomi.gsfc.nasa.gov Language: English - Date: 1969-12-31 19:00:00 Data types Primitive types Procedural programming languages Computer file formats Hierarchical Data Format Array data structure Array data type Reference C Computing Software engineering Computer programming
996	Central Commission for Navigation of the Rhine (CCNR) Clarifications, Corrections and Extensions Document to the Inland ECDIS Standard Transition from Edition 2.0 to Edition 2.1 of the Standard 22 October 2008 Add to Reading List Source URL: www.ris.eu Language: English - Date: 2013-10-04 10:49:14 Electronic navigation OSI protocols Electronic Chart Display and Information System Markup languages XML Portable Document Format Computing Computer file formats Open formats
997	On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Theoretical computer science Model theory Automata theory Regular language Presburger arithmetic Structure Decision problem Mathematics Mathematical logic Formal languages
998	Adapting Compilation Techniques to Enhance the Packing of Instructions into Registers Stephen Hines, David Whalley, Gary Tyson Computer Science Department Florida State University Tallahassee, FL Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2006-08-24 08:01:51 Compiler optimizations Assembly languages Instruction scheduling Reduced instruction set computing Instruction set Branch predication Register renaming Very long instruction word Addressing mode Computer architecture Computing Computer engineering
999	The MetaPost System John D. Hobby June 28, 1995 Abstract Add to Reading List Source URL: ntg.nl Language: English - Date: 1998-01-29 15:13:23 Vector graphics markup languages MetaPost PostScript Public domain software Donald Knuth Digital typography Metafont TeX Pic language Computing Software Computer graphics
1000	CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-05-22 15:22:06 Computer science International Colloquium on Automata Languages and Programming Symposium on Theoretical Aspects of Computer Science Tree automaton Finite-state machine Formal language Hierarchy Automata theory Theoretical computer science Applied mathematics

UPDATE